double effet - German English Dictionary